//
// Created by ziya on 2023/7/9.
//
#include "../../include/idt.h"
#include "../../include/kernel.h"
#include "../../include/task.h"
#include "../../include/acpi.h"

void clock_interrupt_handler() {
//    printk("clock!\n");
    send_local_apic_eoi();
    sched();
}